Complete Heyting algebra - PDFSEARCH.IO - Document Search Engine

Complete Heyting algebra
Results: 33

#	Item
11	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2012-10-01 13:10:36 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
12	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
13	Compactly generated Hausdorff locales Mart´ın Escard´o Version of 17th March 2005 Abstract We say that a Hausdorff locale is compactly generated if it is the colimit of the Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-03-17 12:33:55 Topological spaces Order theory Locally compact space Hausdorff space Compactly generated space Compact space Uniform space Continuous function Complete Heyting algebra Topology General topology Separation axioms
14	NEW QUICKIE MATCH POINT/Ti MATCH POINT Add to Reading List Source URL: www.sunparts.us Language: English - Date: 2015-02-13 13:02:32 Structure Order theory Complete Heyting algebra Alt.sex.stories
15	NEW QUICKIE ALLCOURT/Ti ALLCOURT Add to Reading List Source URL: www.sunparts.us Language: English - Date: 2015-02-13 13:02:28 Complete Heyting algebra Structure Order theory Alt.sex.stories Newsgroups
16	A Logical Account of Causal and Topological Maps by Emilio Remolina, M.S. Add to Reading List Source URL: ftp.cs.utexas.edu Language: English - Date: 2004-07-25 14:43:51 Conditionals Philosophy of science Secure Shell X Window System Complete Heyting algebra Causal theory Space Software Order theory Causality
17	Theory and Applications of Categories, Vol. 28, No. 3, 2013, pp. 66–122. DUALITY FOR DISTRIBUTIVE SPACES DIRK HOFMANN Abstract. The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-28 11:57:00 Structure Adjoint functors Sheaf Functor Filter Complete Heyting algebra Continuous function Metric space Cartesian closed category Mathematics Topology Order theory
18	Theory and Applications of Categories, Vol. 29, No. 17, 2014, pp. 457–474. EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C- Add to Reading List Source URL: www.emis.de Language: English* - Date: 2014-08-14 09:50:00 Algebraic structures Category theory Order theory Boolean algebra Topology Gelfand representation Equivalence of categories Complete Heyting algebra C*-algebra Abstract algebra Mathematics Algebra
19	Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-24 13:03:00 Order theory Sheaf theory Functor Adjoint functors Initial and terminal objects Grothendieck topology Natural transformation Sheaf Complete Heyting algebra Mathematics Category theory Abstract algebra
20	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures